Train protection system - PDFSEARCH.IO - Document Search Engine

Train protection system
Results: 267

#	Item
51	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2011-01-07 05:03:40 European Rail Traffic Management System Logic in computer science Applied mathematics European Train Control System Predicate logic Formal methods First-order logic Formal verification Control theory Train protection systems Logic Mathematical logic
52	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods
53	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:09:36 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
54	Logical Verification and Systematic Parametric Analysis in Train Control? Andr´e Platzer and Jan-David Quesel University of Oldenburg, Department of Computing Science, Germany {platzer\|quesel}@informatik.uni-oldenburg.d Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:19 Rail transport European Rail Traffic Management System European Train Control System Theoretical computer science Railway signalling Model checking KeY First-order logic Correctness Transport Train protection systems Land transport
55	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: symbolaris.com Language: English - Date: 2013-11-27 20:01:46 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
56	Logical Verification and Systematic Parametric Analysis in Train Control Andr´ e Platzer and Jan-David Quesel University of Oldenburg Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:18 Train protection systems European Rail Traffic Management System European Train Control System Symbol Transport Land transport Rail transport
57	Congress Day One: Tuesday 19th May[removed]:00 Morning coffee and registration 09:00 Add to Reading List Source URL: cdn2.hubspot.net Language: English - Date: 2015-02-09 07:15:23 European Rail Traffic Management System Railway signalling Rail transport in Europe Train protection systems International Union of Railways European Train Control System Network Rail Transport Land transport Rail transport
58	Microsoft PowerPoint - ERTMS Presentation_Workshop v1.0.ptx.pptx Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2015-01-23 04:42:47 Railway signalling European Rail Traffic Management System International Union of Railways Rail transport in Europe PricewaterhouseCoopers Train protection systems Transport Land transport Rail transport
59	Microsoft Word - MetroLineDelayFAQ_21012015 Add to Reading List Source URL: www.edmonton.ca Language: English - Date: 2015-01-21 17:26:56 Railway signalling Train protection systems Vehicle telematics Thales Rail Signalling Solutions Signalling block system Thales Canada Line Communications-based train control SelTrac Transport Land transport Rail transport
60	[removed]European Rail Traffic Management Systems (ERTMS) General objectives The general objective is to deploy ERTMS on the trans-European transport core network, including land-based and on-board components. Particular c Add to Reading List Source URL: inea.ec.europa.eu Language: English - Date: 2014-09-10 09:24:00 Railway signalling European Rail Traffic Management System International Union of Railways Rail transport in Europe Train protection systems European Train Control System Transport Land transport Rail transport

UPDATE